در این پایان نامه، ابتدا قضیه kkmتعمیم یافته را ثابت می کنیم و با استفاده از آن قضیه شبه -kkm تعمیم یافته، قضیه نقطه ثابت مشترک برای یک خانواده از نگاشت های چند مقداری و قضیه نقطه ثابت کاکوتانی-فن-گلیکسبرگ را ثابت کنیم. همپنین نشان می دهیم که قضیه وجودی برای نقاط ثابت مشترک با قضیه نقطه ثابت کاکوتانی-فن-گلیکسبرگ معادل است.

تقسیم قضایا به حقیقیه و خارجیه از نوآوری های منطق دانان مسلمان پس از ابن سینا مانند فخر رازی و شاگردانش، افضلالدین خونجی و اثیرالدین ابهری است که متناظر با تقسیم های فیلسوفان غربی از قبیل تقسیم به ضروری و اتفاقی (توسط ارسطو)، تقسیم به تحلیلی و ترکیبی و تقسیم به پیشینی و پسینی (توسط هیوم و کانت) است و نوع نگاه منطق دانان مسلمان به این تقسیم ها را باز می نماید. این تقسیم، در ابتدا، مورد مناقشۀ من...

فرض کنیم q زیرمجموعه ای محدب و فشرده از یک فضای برداری تو×ولوژیک موضعا محدب و هاسدورف باشد و فرض کنیم s گروه یا نیم گروهی از تبدیلات آفینی ×یوسته از q به q باشد. در این ضصورت تحت شرایطی s دارای نقطه ثابت مشترکی در q است. در سال 1938 کاکوتانی نقطه ثابت مشترک یک خانواده خطی ×یوسته یا آفینی از نگاشت ها را مورد بررسی قرار دادکه نگاشت هایی از نوع کاکوتانی مورد توجه بسیاری از ریاضیدانان بعد از وی ق...

در این مقاله، ضمن مروری بر روش های به کار رفته در اثبات وجود تعادل نش طی ٧٠ سال اخیر، نشان می دهیم که محور این روش ها، قضیۀ نقطۀ ثابت براوئر و تعمیم های آن بوده است و سپس به تبیین روشی جدید می پردازیم که مبتنی بر استفاده از روش های جبری در اثبات وجود تعادل است. گرچه این روش هنوز دوران طفولیت خود را می گذراند، پیشینۀ استفاده از روش های جبری در حل مسائل ریاضی نشان می دهد که این روش، نویدبخش یک رو...

حاشیة المقالة العاشرة من أصول الهندسة والحساب عنوان رساله‌ای از محمدکاظم بن رضا طبری (13ق) است که بنا به گفتۀ مؤلف در ابتدای رساله، در واقع تعلیقه‌ای بر شرح محمدباقر یزدی (زنده در 1047ق) بر مقالۀ دهم اصول اقلیدس است. محمدباقر یزدی در شرح خود بر مقالۀ دهم اصول اقلیدس با عنوان شرح المقالة العاشرة من أصول أقلیدس از 109 قضیۀ مقالۀ دهم، 67 قضیۀ آن را شرح می‌دهد و ضمن توضیح بسیاری از برهان‌های اقلیدس...

قضیه بزو حاکی از این است که تحت شرایط مناسب، تعداد نقاط تلاقی دو خم مسطح که توسط دو معادله چندجمله ای توصیف می شوند، با حاصل ضرب درجه های آن دو چندجمله ای برابر است. در این مقاله به شرح این قضیه و بیان برخی از کاربردهای جالب آن می پردازیم.

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

اجرای اصل مشارکت عمومی در داوری‌های مربوط به اختلافات نفتی، مستلزم این است که اشخاص یا گروه‌هایی از عموم مردم که طرف داوری نیستند، بتوانند از طریق تقدیم لایحۀ کتبی، دسترسی به اسناد مهم داوری و حضور در جلسۀ رسیدگی، در جریان داوری مشارکت داشته باشند. قواعد داوری سرمایه‌گذاری طی اصلاحات اخیر و معاهدات دوجانبۀ سرمایه‌گذاری در نسل جدید خود به سوی اجرای این اصل گام برداشته‌اند. مقالۀ پیش رو، به دنبال...

قضیۀ زوبوف یکی از قضایایی است که برای پایداری یک دستگاه غیرخطی با دامنه ربایش معلوم شرایطی را   بیان می کند. از شبکه های عصبی استفاده کرده و با آن ها، تعدادی از توابع موجود در قضیۀ زوبوف را تقریب می زنیم، بدین ترتیب کنترل کنندۀ یک دستگاه کنترل غیرخطی، که به لحاظ ریاضی یافتن ضابطۀ کنترل آن آسان نیست، به دست می آید. در این تحقیق دو استراتژی مختلف را به کار می گیریم و نهایتاً تأثیر و قابلیت روش های...